Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics
نویسنده
چکیده
This article considers the following central ideas underlying Actor Prolog: the classes and worlds, the mechanism of repetitive proof of subgoals, the underdetermined sets. The logical means of Actor Prolog cover the definitional possibilities of structural, dynamic and information aspects of the object-oriented programming. The most interesting idea of Actor Prolog is the repetitive proof of subgoals, that allows implementation of the operation of destructive assignment and thus is a new solution of the frame problem. All the logical means of Actor Prolog have a classical declarative (model-theoretic) semantics.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملOn Semantic Link Between Logic, Object-Oriented, Functional and Constraint Programming
In the article I investigate semantic and operational links among object-oriented, logic, functional and constraint programming paradigms by an example of implementing them in logic language Actor Prolog. I show how means developed for ensuring model-theoretic semantics of object-oriented and functional features in the Actor Prolog have led to creation of a method of implementing a weak form of...
متن کاملOOLP: A Translation Approach to Object-Oriented Logic Programming
OOLP integrates the superior modeling capabilities of object-oriented paradigm in the declarative framework of logic programming. Method in-vocation in OOLP is given a precise model theoretic semantics which is consistent with that of logic programming. OOLP is extended to a practical object-oriented database language OOLP+ by adding some extra-logical features. OOLP+ allows object identity, mu...
متن کاملLogical Foundations for Declarative Object-oriented Programming Logical Foundations for Declarative Object-oriented Programming ?
We present a formalism for reasoning about declarative object-oriented programs. Classes are represented as rst-order theories that contain logic programs as methods. Inheritance, genericity and related concepts are represented by operations on such theories which preserve the consistency of these theories as well as the correctness of the programs speciied by their axioms. Our approach provide...
متن کاملConcurrent, object-oriented natural language parsing: the ParseTalk model
The ParseTalk model of concurrent, object-oriented natural language parsing is introduced. It builds upon the complete lexical distribution of grammatical knowledge and incorporates inheritance mechanisms in order to express generalizations over sets of lexical items. The grammar model integrates declarative well-formedness criteria constraining linguistic relations between heads and modifiers,...
متن کامل